perm filename COREAL[1,JMC] blob
sn#005285
filedate 1970-11-16 generic text, type T, neo UTF8
00100 CORRECTNESS OF REAL-TIME PROGRAMS 00200 00300 by John McCarthy 00400 00500